#pragma warning disable 108
using System;
using System.Runtime.InteropServices;
using System.Collections.Generic;
using Cephei;
using Cephei.Generic;
using Cephei.QL.Times;
namespace Cephei.QL.Times.Calendars
{
     // <summary> 
	// ! Public holidays:
	// <ul>
	// <li>Saturdays</li>
	// <li>Sundays</li>
	// <li>New Year's Day, January 1st</li>
	// <li>Independence Day, March 1st</li>
	// <li>Arbour Day, April 5th (until 2005)</li>
	// <li>Labour Day, May 1st</li>
	// <li>Children's Day, May 5th</li>
	// <li>Memorial Day, June 6th</li>
	// <li>Constitution Day, July 17th (until 2007)</li>
	// <li>Liberation Day, August 15th</li>
	// <li>National Fondation Day, October 3th</li>
	// <li>Christmas Day, December 25th</li>
	// </ul>  Other holidays for which no rule is given (data available for 2004-2010 only:)
	// <ul>
	// <li>Lunar New Year, the last day of the previous lunar year, January 1st, 2nd in lunar calendar</li>
	// <li>Election Days</li>
	// <li>National Assemblies</li>
	// <li>Presidency</li>
	// <li>Regional Election Days</li>
	// <li>Buddha's birthday, April 8th in lunar calendar</li>
	// <li>Harvest Moon Day, August 14th, 15th, 16th in lunar calendar</li>
	// </ul>  Holidays for the Korea exchange (data from <http://www.krx.co.kr> or
	// <http://www.dooriworld.com/daishin/holiday/holiday.html>):
	// <ul>
	// <li>Public holidays as listed above</li>
	// <li>Year-end closing</li>
	// </ul>  \ingroup calendars
	// </summary>
    [Guid ("760E72DC-B600-47fc-9489-A1D4908D4D06"),ComVisible(true)]
	public interface ISouthKorea : Cephei.QL.Times.ICalendar
	{
		///////////////////////////////////////////////////////////////
        // Methods
        //
    }

    // <summary> 
	// ! Public holidays:
	// <ul>
	// <li>Saturdays</li>
	// <li>Sundays</li>
	// <li>New Year's Day, January 1st</li>
	// <li>Independence Day, March 1st</li>
	// <li>Arbour Day, April 5th (until 2005)</li>
	// <li>Labour Day, May 1st</li>
	// <li>Children's Day, May 5th</li>
	// <li>Memorial Day, June 6th</li>
	// <li>Constitution Day, July 17th (until 2007)</li>
	// <li>Liberation Day, August 15th</li>
	// <li>National Fondation Day, October 3th</li>
	// <li>Christmas Day, December 25th</li>
	// </ul>  Other holidays for which no rule is given (data available for 2004-2010 only:)
	// <ul>
	// <li>Lunar New Year, the last day of the previous lunar year, January 1st, 2nd in lunar calendar</li>
	// <li>Election Days</li>
	// <li>National Assemblies</li>
	// <li>Presidency</li>
	// <li>Regional Election Days</li>
	// <li>Buddha's birthday, April 8th in lunar calendar</li>
	// <li>Harvest Moon Day, August 14th, 15th, 16th in lunar calendar</li>
	// </ul>  Holidays for the Korea exchange (data from <http://www.krx.co.kr> or
	// <http://www.dooriworld.com/daishin/holiday/holiday.html>):
	// <ul>
	// <li>Public holidays as listed above</li>
	// <li>Year-end closing</li>
	// </ul>  \ingroup calendars Factory
	// </summary>
   	[ComVisible(true)]
    public interface ISouthKorea_Factory // : Collection_Factory<ISouthKorea, ICell<ISouthKorea>>
    {
        ///////////////////////////////////////////////////////////////
        // Factory methods
        //
        
	    ISouthKorea Create (Microsoft.FSharp.Core.FSharpOption<QL.Times.Calendars.SouthKorea.MarketEnum> m);
    }
}

